Processing Coordinated Structures in PENG Light
نویسنده
چکیده
PENG Light is a controlled natural language designed to write unambiguous specifications that can be translated automatically via discourse representation structures into a formal target language. Instead of writing axioms in a formal language, an author writes a specification and the associated background axioms directly in controlled natural language. In this paper, we first review the controlled natural language PENG Light and show how a discourse representation structure is generated for sentences written in PENG Light. We then discuss two different solutions of how discourse representation structures can be implemented for coordinated structures. Finally, we show how an efficient implementation of coordinated structures combined with a suitable parsing strategy affects the parsing performance of the controlled natural language.
منابع مشابه
Modification of the Peng-Robinson Equation of State (Generalization)
A modification of Peng-Robinson equation is described wherein in the parameter b is expressed as a linear function of temperature. The modified equation is then applied to a series of light hydrocarbons and refrigerants, and predicted values for vapor pressure, saturated vapor volume, saturated liquid volume and the heat of evaporation are compared with the corresponding experimental data. ...
متن کاملLight Processing in Iranian Houses; Manifestation of Meanings and Concepts
Light is one of the many wonders in the architecture Iranian houses. It is a major tool for space creation anddesign. An important consideration in the Iranian architecture, which takes a functional and conceptual approach to the extensive subject of light, has been that light should create a beautiful and spiritual space in addition to being functional. The light used in a house should be plea...
متن کاملSynthesis and Characterization of Nanocrystalline Magnetic Pigment via Coordinated Precursors
Nanocrystalline cobalt ferrite as a magnetic black pigment was synthesized via coordinated precursors with a significant decrease of the synthesis temperature using citric acid as a coordinating agent. The structure and properties of the cobalt ferrite powder were characterized by X-ray diffraction (XRD), colorimetric analysis (L*a*b* color parameters), diffuse reflectance spectroscopy and vibr...
متن کاملFEM Updating for Offshore Jacket Structures Using Measured Incomplete Modal Data
Marine industry requires continued development of new technologies in order to produce oil. An essential requirement in design is to be able to compare experimental data from prototype structures with predicted information from a corresponding analytical finite element model. In this study, structural model updating may be defined as the fit of an existing analytical model in the light of measu...
متن کاملWorking for Two: A Bidirectional Grammar for a Controlled Natural Language
This paper introduces the controlled natural language PENG Light together with a language processor that is based on a bidirectional grammar. The language processor has the following interesting properties: (a) it translates declarative sentences written in PENG Light into a first-order logic notation (TPTP); (b) it generates declarative sentences in PENG Light taking syntactically annotated TP...
متن کامل